Cardinal Preserving Elementary Embeddings
نویسنده
چکیده
Say that an elementary embedding j : N → M is cardinal preserving if CAR = CAR = CAR. We show that if PFA holds then there are no cardinal preserving elementary embeddings j : M → V . We also show that no ultrapower embedding j : V → M induced by a set extender is cardinal preserving, and present some results on the large cardinal strength of the assumption that there is a cardinal preserving j : V → M . §
منابع مشابه
Ramsey-like cardinals
One of the numerous characterizations of a Ramsey cardinal κ involves the existence of certain types of elementary embeddings for transitive sets of size κ satisfying a large fragment of ZFC. I introduce new large cardinal axioms generalizing the Ramsey elementary embeddings characterization and show that they form a natural hierarchy between weakly compact cardinals and measurable cardinals. T...
متن کاملVirtual Large Cardinals
We introduce the concept of virtual large cardinals and apply it to obtain a hierarchy of new large cardinal notions between ineffable cardinals and 0#. Given a large cardinal notion A characterized by the existence of elementary embeddings j : Vα → Vβ satisfying some list of properties, we say that a cardinal is virtually A if the embeddings j : V V α → V V β exist in the generic multiverse of...
متن کاملSome remarks on the maximality
We consider maximality properties of inner models, elementary embeddings between them, and survey some connections through the concept of JJ onsson cardinal. In particular we give proofs of: Theorem Assume there is no inner model with a strong cardinal and K is the core model. If is a regular JJ onsson cardinal, then (i) + = +K ; (ii) f < j regular, + = +K g is stationary in ; (iii) 8A , A # ex...
متن کاملApplications of pcf for mild large cardinals to elementary embeddings
The following pcf results are proved: 1. Assume that κ > א0 is a weakly compact cardinal. Let μ > 2κ be a singular cardinal of cofinality κ. Then for every regular λ < pp+Γ(κ)(μ) there is an increasing sequence ⟨λi | i < κ⟩ of regular cardinals converging to μ such that λ = tcf( ∏ i<κ λi, <Jbd κ ). 2. Let μ be a strong limit cardinal and θ a cardinal above μ. Suppose that at least one of them h...
متن کامل1. Iterated Forcing and Elementary Embeddings
In this chapter we present a survey of the area of set theory in which iterated forcing interacts with elementary embeddings. The original plan was to concentrate on forcing constructions which preserve large cardinal axioms, particularly Reverse Easton iterations. However this plan proved rather restrictive, so we have also treated constructions such as Baumgartner’s consistency proof for the ...
متن کامل